Amyloid ox–tox transducers

Symbolic Transducers

Symbolic Finite Transducers, or SFTs, is a representation of finite transducers that annotates transitions with logical formulae to denote sets of concrete transitions. This representation has practical advantages in applications for web security analysis, as it provides ways to succinctly represent web sanitizers that operate on large alphabets. More importantly, the representation is also con...

Iterating Transducers

Reducing Acyclic Cover Transducers

PVF2 Transducers for NDT

We have investigated the spatial dependence of the longitudinal piezoelectric stress constant e of PVF . Experiments were performed on a series of no.minally identical brass-backed PVF longitudinaF wave t~ansducers in water using commercial PVF7 film. Computer programs were designed t6 predict the performance of the transducers as a function of e (Z) , the thickness mode piezoelectric stress co...

On Reversible Transducers

Deterministic two-way transducers define the robust class of regular functions which is, among other good properties, closed under composition. However, the best known algorithms for composing two-way transducers cause a double exponential blow-up in the size of the inputs. In this paper, we introduce a class of transducers for which the composition has polynomial complexity. It is the class of...